Control flow graph - PDFSEARCH.IO - Document Search Engine

Control flow graph
Results: 74

#	Item
21	New complexity results for time-constrained dynamical optimal path problems Add to Reading List Source URL: www.emis.ams.org Language: English - Date: 2010-02-01 11:59:55 Operations research Network flow Mathematical optimization Maximum flow problem Shortest path problem Optimal control Flow network Graph Dynamic programming Mathematics Graph theory Theoretical computer science
22	Joint Congestion Control and Distributed Scheduling for Throughput Guarantees in Wireless Networks Gaurav Sharma School of Elec. & Comp. Engg. Purdue University Add to Reading List Source URL: ece.uwaterloo.ca Language: English - Date: 2006-12-08 16:38:14 Theoretical computer science Network performance Networks Network congestion Teletraffic Flow network Connectivity Wireless ad-hoc network Network topology Graph theory Mathematics Network flow
23	SMT-based False Positive Elimination in Static Program Analysis Maximilian Junker1 , Ralf Huuck2 , Ansgar Fehnker2 , Alexander Knapp3 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:04:17 Compiler construction Control flow graph Data-flow analysis
24	StackAnalyzer for TriCore StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call gr Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Computing Infineon TriCore Embedded system Call graph Compiler GNU Compiler Collection Control flow graph Software Programming language implementation Compiler construction
25	StackAnalyzer for LEON3 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Compiler construction LEON Call graph GNU Compiler Collection Compiler GNAT Linux Control flow graph Software Computing Programming language implementation
26	Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2005-11-14 17:37:09 Models of computation Logic in computer science Programming language semantics Compiler construction Programming language implementation Data-flow analysis Denotational semantics Assembly language Control flow graph Theoretical computer science Computing Software engineering
27	StackAnalyzer for LEON2 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Compiler construction LEON Call graph GNU Compiler Collection Compiler GNAT Linux Control flow graph Software Computing Programming language implementation
28	Automatic Mediation of Privacy-Sensitive Resource Access in Smartphone Applications Benjamin Livshits and Jaeyeon Jung Microsoft Research Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-08-07 18:14:03 Computing Dominator Control flow graph Static single assignment form C Compiler construction Programming language theory Software engineering
29	PDF Document Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2015-05-28 15:51:40 Subroutines Control flow Inline expansion Setjmp.h Call graph System call Pin Call stack Goto Software engineering Computer programming Computing
30	Graal IR: An Extensible Declarative Intermediate Representation Gilles Duboscq∗ Lukas Stadler∗ Doug Simon† Christian Wimmer† Thomas Würthinger† Hanspeter Mössenböck∗ Add to Reading List Source URL: ssw.jku.at Language: English - Date: 2013-06-03 13:35:12 Static single assignment form Linked list Combinatorics Connectivity Control flow graph Graph Search algorithms Network theory Depth-first search Compiler construction Mathematics Graph theory

UPDATE